$\forall$$w$:World, ${\it e''}$:E. FairFifo $\Rightarrow$ rcv?(${\it e''}$) $\Rightarrow$ match(link(${\it e''}$);time(sender(${\it e''}$));time(${\it e''}$))